COM: rfunction com2

STM: rfunction void wf

ABS: FIncr

STM: fincr wf

STM: fincr wf2

COM: fincr wf com

STM: fincr formation

COM: rfunction 1 end